1. Algorithms and complexity in mathematics, epistemology, and science :
پدیدآورنده: editors, Ncolas Fillion, Robert M. Corless and Ilias S. Kotsireas.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Algorithms, Congresses.,Complexity (Philosophy), Congresses.,Mathematics, Congresses.,Science-- Mathematics, Congresses.,Technological complexity, Congresses.,Algorithms.,Complexity (Philosophy),MATHEMATICS-- Numerical Analysis.,Mathematics.,Science-- Mathematics.,Technological complexity.
رده :
QA9
.
58
2. Automated technology for verification and analysis :
پدیدآورنده: Shuvendu K. Lahiri, Chao Wang (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Artificial intelligence, Congresses.,Automatic theorem proving, Congresses.,3D graphics & modelling.,Artificial intelligence.,Automatic theorem proving.,Computer programming-- software development.,Computer security.,Computers-- Computer Simulation.,Computers-- Programming-- General.,Computers-- Programming Languages-- General.,Computers-- Security-- General.,Computers-- Software Development & Engineering-- General.,Mathematical theory of computation.,Mathematics-- Logic.,Programming & scripting languages: general.,Software Engineering.
رده :
QA76
.
9
.
A96
3. Certified Programs and Proofs :
پدیدآورنده: edited by Chris Hawblitzel, Dale Miller.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computer science -- Mathematics -- Congresses.,Computer software -- Congresses.,Formal methods (Computer science) -- Verification -- Congresses.
رده :
QA76
.
9
.
M35
E358
2012
4. Formal aspects of component software :
پدیدآورنده: Kyungmin Bae, Peter Csaba Ölveczky (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Component software, Congresses.,Formal methods (Computer science), Congresses.,Logics and Meanings of Programs.,Component software.,Computer programming / software development.,Computers-- Programming-- General.,Computers-- Programming Languages-- General.,Computers-- Software Development & Engineering-- General.,Formal methods (Computer science),Mathematical theory of computation.,Mathematics-- Logic.,Programming & scripting languages: general.,Software Engineering.
رده :
QA76
.
9
.
F67
5. Formal methods :
پدیدآورنده: Tiago Massoni, Mohammad Reza Mousavi (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Formal methods (Computer science), Congresses.,Algorithms & data structures.,Computer programming-- software development.,Computers-- Programming-- Algorithms.,Computers-- Programming-- General.,Computers-- Programming Languages-- General.,Computers-- Software Development & Engineering-- General.,Formal methods (Computer science),Mathematical theory of computation.,Mathematics-- Logic.,Programming & scripting languages: general.,Software Engineering.
رده :
QA76
.
9
.
F67
6. Formal methods and software engineering :
پدیدآورنده: Jing Sun, Meng Sun (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Formal methods (Computer science), Congresses.,Software engineering, Congresses.,Computer programming-- software development.,Computers-- Expert Systems.,Computers-- General.,Computers-- Hardware-- Handheld Devices.,Computers-- Programming-- General.,Computers-- Software Development & Engineering-- General.,Expert systems-- knowledge-based systems.,Formal methods (Computer science),Information technology: general issues.,Mathematical theory of computation.,Mathematics-- Logic.,Software engineering.,Software Engineering.,Systems analysis & design.
رده :
QA76
.
9
.
F67
7. Recent trends in algebraic development techniques
پدیدآورنده: \ Mihai Codescu, Răzvan Diaconescu, Ionuț Țuțu (Eds.)
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Computer software -- Development -- Congresses.,Computer science -- Mathematics -- Congresses,Formal methods (Computer science) -- Congresses.,نرم‌افزار -- تولید -- کتگره ها,علوم کامپیوتر -- ریاضیات -- کنگره‌ها ,روش‌های صوری (کامپیوتر) -- کنگره‌ها
رده :
QA
76
.
76
.
D47
W32
2015
E-Book
,
8. Runtime verification :
پدیدآورنده: Christian Colombo, Martin Leucker (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computer software-- Testing, Congresses.,Computer software-- Verification, Congresses.,Formal methods (Computer science), Congresses.,Computer programming-- software development.,Computer software-- Testing.,Computer software-- Verification.,Computers-- General.,Computers-- Hardware-- Handheld Devices.,Computers-- Programming-- General.,Computers-- Programming Languages-- General.,Computers-- Software Development & Engineering-- General.,Formal methods (Computer science),Information technology: general issues.,Mathematical theory of computation.,Mathematics-- Logic.,Programming & scripting languages: general.,Software Engineering.,Systems analysis & design.
رده :
QA76
.
76
.
V47
9. Theoretical aspects of computing -- ICTAC 2018 :
پدیدآورنده: Bernd Fischer, Tarmo Uustalu (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computer science, Congresses.,Mathematical Logic and Formal Languages.,Artificial intelligence.,Computer programming / software development.,Computer science.,Computers-- Intelligence (AI) & Semantics.,Computers-- Programming-- General.,Computers-- Programming Languages-- General.,Computers-- Software Development & Engineering-- General.,Mathematical theory of computation.,Mathematics-- Logic.,Programming & scripting languages: general.,Software Engineering.
رده :
QA76
.
9
.
L63
10. Verification and evaluation of computer and communication systems :
پدیدآورنده: Mohamed Faouzi Atig, Saddek Bensalem, Simon Bliudze, Bruno Monsuez (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computer networks-- Evaluation, Congresses.,Computer software-- Verification, Congresses.,Algorithms & data structures.,Computer networks-- Evaluation.,Computer programming-- software development.,Computer software-- Verification.,Computers-- General.,Computers-- Hardware-- Handheld Devices.,Computers-- Programming-- Algorithms.,Computers-- Programming-- General.,Computers-- Software Development & Engineering-- General.,Information technology: general issues.,Mathematical theory of computation.,Mathematics-- Logic.,Software Engineering.,Systems analysis & design.
رده :
TK5105
.
5
